Piecewise Definable Cg Triviality and Definable Cg Compactification
نویسنده
چکیده
Let G be a definably compact definable C group and 1 ≤ r < ∞. Let X be a definable CG submanifold of a representation of G and Y a definable C submanifold of R. We prove that every G invariant surjective submersive definable C map f : X → Y is piecewise definably CG trivial.
منابع مشابه
Relative Definable Cg Triviality of G Invariant Proper Definable C Functions
Let G be a compact definable C group and 1 ≤ r < ∞. Let X be an affine definable CG manifold and X1, . . . , Xk definable CG submanifolds of X such that X1, . . . , Xk are in general position in X. Suppose that f : X → R is a G invariant proper surjective submersive definable C function such that for every 1 ≤ i1 < · · · < is ≤ k, f |Xi1 ∩ · · · ∩ Xis : Xi1 ∩ · · · ∩ Xis → R is a proper surject...
متن کاملDefinable C∞g Manifold Structures of Definable Cg Manifolds
Let G be a compact definable C∞ group and 2 ≤ r < ∞. Let X be a noncompact affine definable CG manifold and X1, . . . , Xk noncompact codimension one definable CG submanifolds of X such that X1, . . . , Xk are in general position in X and (X;X1, . . . , Xk) satisfies the frontier condition. We prove that (X;X1, . . . , Xk) admits a unique definable C∞G manifold structure (Y ;Y1, . . . , Yk).
متن کاملLocally definable C∞G manifold structures of locally definable CG manifolds
zw Let G be a finite abelian group and 1 ≤ r < ∞. We prove that every locally definable CG manifold admits a unique locally definable C∞G manifold structure up to locally definable C∞G diffeomorphism. zh 2000 Mathematics Subject Classification. 14P10, 14P20, 57S05, 57S15, 58A05, 58A07, 03C64.
متن کاملEquivariant Definale Morse Functions in Definably Complete Structures
Let G be a compact definable C group, X a compact affine definable CG manifold and 2 ≤ r < ∞. We prove that the set of equivariant definable Morse functions on X whose loci are finite unions of nondegenerate critical orbits is open and dense in the set of G invariant definable C functions with respect to the definable C topology.
متن کاملRelative properties of definable C∞ manifolds with finite abelian group actions in an o-minimal expansion of Rexp
zw Let G be a finite abelian group and M an o-minimal expansion of Rexp = (R, +, ·, <, e) admitting the C∞ cell decomposition. Everything is considered in M. We prove that every definable C∞G manifold is affine. Moreover we prove that if X1, . . . , Xn (resp. Y1, . . . , Yn) are definable C ∞G submanifolds of a definable C∞G manifold X (resp. Y ) in general position, then every definable CG map...
متن کامل